The Turing Universe Is Not Rigid
نویسنده
چکیده
A nontrivial automorphism of the Turing degrees is constructed.
منابع مشابه
Some improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملBayesian perspective over time
Thomas Bayes, the founder of Bayesian vision, entered the University of Edinburgh in 1719 to study logic and theology. Returning in 1722, he worked with his father in a small church. He also was a mathematician and in 1740 he made a novel discovery which he never published, but his friend Richard Price found it in his notes after his death in 1761, reedited it and published it. But until L...
متن کاملThe Church-Turing Thesis as an Immature Form of the Zuse-Fredkin Thesis (More Arguments in Support of the "Universe as a Cellular Automaton" Idea)
In [1] we have shown a strong argument in support of the "Universe as a computer" idea. In the current work, we continue our exposition by showing more arguments that reveal why our Universe is not only "some kind of computer", but also a concrete computational model known as a "cellular automaton".
متن کاملDefinability and global degree theory
Gödel’s work [Gö34] on undecidable theories and the subsequent formalisations of the notion of a recursive function ([Tu36], [Kl36] etc.) have led to an ever deepening understanding of the nature of the non-computable universe (which as Gödel himself showed, includes sets and functions of everyday significance). The nontrivial aspect of Church’s Thesis (any function not contained within one of ...
متن کاملAn Apophatic View of God and Creation
The English Dominican Herbert McCabe highlighted some ideas of Thomas Aquinas on the knowability of God and on creation, which can usefully challenge some widespread commonplaces. The purposes of this article are two: to present McCabe’s sophisticated doctrine on the knowability of God and on creation in a systematic way, and to put this doctrine into its historical context. In the scattered an...
متن کامل